LanguageExt.Core

LanguageExt.Core ► TypeClasses ► MonadTransAsync

Contents

interface MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, A>

class MonadTransAsyncExtensions Source #

Methods

method Task<int> Count <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, A>

method Task<bool> ForAll <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, A>

method Task<bool> Exists <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, A>

method Task<int> Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, int> m, OuterType a) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, int>

method Task<float> Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, float> m, OuterType a) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, float>

method Task<double> Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTransAsync<OuterMonad, OuterType, InnerMonad, InnerType, double> m, OuterType a) Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, double>

interface MonadTransAsyncSync <OuterMonad, OuterType, InnerMonad, InnerType, A> Source #

where OuterMonad : struct, MonadAsync<OuterType, InnerType>
where InnerMonad : struct, Monad<InnerType, A>

interface MonadTransSyncAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> Source #

where OuterMonad : struct, Monad<OuterType, InnerType>
where InnerMonad : struct, MonadAsync<InnerType, A>